<?php

//$mydomain_StarDict_org = "StarDict.org";
//$mydomain_www_stardict_org = "www.stardict.org";
//$mydomain_www_StarDict_org = "www.StarDict.org";

$mydomain_StarDict_org = "StarDict.net";
$mydomain_www_stardict_org = "www.stardict.net";
$mydomain_www_StarDict_org = "www.StarDict.net";

?>
